frege-church ontolojisi ne demek?

Frege-Church ontolojisi, matematiksel nesnelerin varlığına ve bilgisine ilişkin bir felsefi görüştür. Bu ontolojik görüş, matematiksel nesnelerin varlık biçimlerinin yanı sıra, bu nesnelerin algoritmik olarak işlemlere tabi tutulabilecekleri şeklinde de tanımlanır.

Gottlob Frege ve Alonzo Church, bu ontolojik görüşün öncüleridir. Frege, matematiksel nesnelerin gerçek varlıklar olduğunu ve dilin doğru şekilde kullanılmasıyla doğru bir şekilde tanımlanabileceklerini öne sürdü. Church ise, matematiksel nesnelerin varlığını ve bilgisini öznel kavramlar yerine nesnel kavramlarla açıklamanın daha doğru olduğunu savundu.

Bu ontolojik görüş, özellikle matematik ve mantık felsefesi alanlarında etkili oldu. Bu görüş, matematiksel nesnelerin varlığı ve doğru bir şekilde nasıl tanımlanabilecekleri konusunda felsefeciler tarafından tartışılmaya devam etmektedir.